Joana Garmendia: Irony
نویسندگان
چکیده
Garmendiaren Ironyk — Cambridge University Presseko Key Topics in Semantics and Pragmatics sailaren barruan— sakon aztertzen du hitzezko ironia, pragmatikaren ikuspuntutik.
منابع مشابه
Tool Demonstration: JOANA
JOANA is a tool for information flow control, which can handle full Java with unlimited threads and scales to ca. 100kLOC. JOANA uses a new algorithm for checking probabilistic noninterference, named RLSOD. JOANA uses a stack of sophisticated program analysis techniques which minimise false alarms. JOANA is open source (joana.ipd.kit.edu) and offers an Eclipse GUI as well as an API. The current...
متن کاملSicherheitsanalyse mit JOANA
JOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Java mit Threads analysieren kann. JOANA basiert auf modernen Verfahren zur Programmanalyse und erzeugt deshalb wenig Fehlalarme. JOANA enthält einen “iRLSOD” Algorithmus, der probabilistische Nichtinterferenz garantiert. JOANA ist Open Source, braucht wenige Annotationen und lässt sich leicht bedienen. Der Artikel ...
متن کاملChecking probabilistic noninterference using JOANA
JOANA is a tool for software security analysis, checking up to 100kLOC of full multi-threaded Java. JOANA is based on sophisticated program analysis techniques and thus very precise. It includes a new algorithm guaranteeing probabilistic noninterference, named RLSOD. JOANA needs few annotations and has a nice GUI. The tool is open source and was applied in several case studies. The article pres...
متن کاملExplaining irony
1. Traditional approaches to irony Here are some typical examples of verbal irony: (1) Mary (after a boring party): That was fun. (2) I left my bag in the restaurant, and someone kindly walked off with it. (3) Sue (to someone who has done her a disservice): I can't thank you enough. In each case, the point of the irony is to indicate that a proposition the speaker might otherwise be taken to en...
متن کاملLake irony
Kenya over the last few decades, and the change from a nomadic lifestyle to communally owned ranches, wildlife in the Samburu District is under threat from deforestation, land degradation, overgrazing by livestock, and unsustainable water use. Alexander Njue, who is also involved in a separate Earthwatchsponsored project studying the wildlife habitats in this area, hopes that wildlife can also ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Gogoa
سال: 2023
ISSN: ['1577-9424', '2444-3573']
DOI: https://doi.org/10.1387/gogoa.23157